1. .....................
پدیدآورنده: Gaver, Donald P
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Operations research,، Mathematical models,، Programming )Mathematics(
رده :
T
57
.
6
.
G38
2. ......................
پدیدآورنده: Colloquium on Trees in Algebra and Programming )DAAP58(, edited by Hartmut Ehrig... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1
3. A Concise Introduction to Mathematical Logic
پدیدآورنده: by Wolfgang Rautenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
4. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده: James, Oluwale Stephen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: English as a second language--ESL
5. A Contrastive Lexico-semantic Study of Computer and Human Languages
پدیدآورنده: James, Oluwale Stephen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: English as a second language--ESL
6. A Course on programming in glgol 60
پدیدآورنده: Reeves, Colin Morrison
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Mathematics
رده :
R332c
7. A First Course in Statistical Programming with
پدیدآورنده: / [electronic resource]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: R (Computer program language),Statistics.,Mathematics.,Electronic books.
رده :
QA
,
276
.
45
,.
R3
,
WEB
8. A Guide to Graph Algorithms
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: COMPUTERS / Programming / Algorithms ; Mathematics ; Science ; Sciences ;
9. A Java library of graph algorithms and optimization
پدیدآورنده: / Hang T. Lau
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Java (Computer program language),Computer algorithms.,Combinatorial optimization.
رده :
QA76
.
73
.
J38
,
L362
2007
10. A Measure of Success :
پدیدآورنده: Chrstine A. Espin, Kristen L. McMaster, Susan Rose, and Miya Miura Wayman, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Deno, Stanley L.,Deno, Stanley L.,Curriculum-based assessment.,Curriculum-based assessment.,EDUCATION-- Evaluation.,EDUCATION-- General.,EDUCATION-- Testing & Measurement.,STUDY AIDS-- Tests.
رده :
LB3060
.
32
.
C74
M43
2012
11. A Primer on Scientific Programming with Python
پدیدآورنده: Hans Petter Langtangen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Python,Wissenschaftliches Rechnen
12. A Unified approach to interior point algorithms for linear complementarity problems
پدیدآورنده: M. Kojima...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming )Mathematics(,، Linear programming
رده :
QA
76
.
L28
Vol
.
538
13. A Unified approach to interior point algorithms for linear complementarity problems
پدیدآورنده: M. Kojima ... )et al.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming )Mathematics(,، Linear programming
رده :
QA
76
.
L4
v
.
538
14. A beginner's guide to finite mathematics :
پدیدآورنده: W.D. Wallis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics,Mathématiques
رده :
QA39
.
3
.
W36
2004
15. A collection of test problems for constrainded global optimization algorithms
پدیدآورنده: Floudas, Christodoules A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Engineering mathematics , Mathematical optimization , Nonlinear programming , Algorithms
رده :
TA
331
.
F58
1990
16. A collection of test problems for constrained global optimization algorithms
پدیدآورنده: Floudas, Christodoulos A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
رده :
TA
331
.
F58
1990
17. A collection of test problems for constrained global optimization algorithms
پدیدآورنده: / Christodoulos A. Floudas, Panos M. Pardalos
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Engineering mathematics,Mathematical optimization,Nonlinear programming,Algorithms
رده :
E-BOOK
18. A collection of test problems for constrained global optimization algorithms
پدیدآورنده: C. A. Floudas, P. M. Paralos
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
رده :
QA
76
.
L28
Vol
.
455
19. A course in convexity
پدیدآورنده: Barvinok, Alexander
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Convex geometry,، Functional analysis,، Programming )Mathematics(
رده :
QA
639
.
5
.
B37
2002
20. A course in convexity
پدیدآورنده: / Alexander Barvinok
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Convex geometry,Functional analysis,Programming (Mathematics)
رده :
QA639
.
5
.
B37
2002
